#ifndef CSATSOLVER_H
#define CSATSOLVER_H

#include "cryptominisat/Solver.h"
#include "satsolver.h"
class CryptominisatSolver : public CryptoMiniSat::Solver , public SATSolver
{
   public:
   CryptominisatSolver( CryptoMiniSat::SolverConf & conf ):Solver(conf){}
   virtual ~CryptominisatSolver(){}
   virtual void addClause( vec<Lit> & v )
   { 
      CryptoMiniSat::vec< CryptoMiniSat::Lit > * x = (CryptoMiniSat::vec< CryptoMiniSat::Lit > *)(void *)& v;
      Solver::addClause( *x );
   }
};

#endif
